{
    "name": "Infeasible 3",
    "constraints" : {
        "cst1": { "equal": 5 },
        "cst2": { "equal": 1 },
        "cst3": { "equal": 1 },
        "cst3": { "max": 3 }
    },
    "variables" : {
        "x": { "cst1" : 1, "cst2": 1, "cst4": 1 },
        "y": { "cst1" : 1, "cst3": 1, "cst3": 1 }
    },
    "expects": {
        "feasible": false
    }
}